Autor: Apt, Krsysztof R. Se han encontrado 1 resultados
| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Libro |
Verification of sequential and concurrent programs | Apt, Krsysztof R. |
2nd ed.
(c1997) |
Domicilio
|
---------- |